формализация

(< форма наружность, вид)

В лингвистике: мысленное или реальное приведение языковых объектов в такое состояние, когда к языковым объектам можно применить средства формальной логики и математические методы исследования;

способы исследования, ориентированные на выявление формы (структуры) мыслей и символическое обозначение ее.

Формализованная теория понимается как система символов, представляющих последовательность логических терминов: субъекта и предиката в суждении, субъекта и предиката в силлогизме.

Выделяются следующие группы формальных символов:

1) логические символы Λ – и, V – или;

2) символы предикатов (=) и функций (+);

3) переменные (а, в, с).

На их основе создаются формальные выражения и их конечные последовательности.

Формализованная методика исследования требует использования следующих приемов решения лингвистических задач:

1) алгоритмизация;

2) графическое исчисление;

3) матричное (табличное) определение истинности функций сложных высказываний.